semaphore mutex = 1;        //信号量mutex，用于互斥访问网络售票系统,初始化为mutex = 1；
semaphore ticket_count = k; /*信号量ticket_count，用于记录票的余量，
                             以及保证在有票情况下订票进程才能订票，初始化为ticket_count = k；*/
booking() //订票进程
{
    while (true)
    {
        wait(ticket_count); //检测是否有余票并预申请一张票
        wait(mutex);        //申请加入临界区（网络售票系统）
        entering the system and booking one ticket;//订票
        signal(mutex); //退出临界区
    }
}

refund() //退票进程
{
    while (true)
    {
        wait(mutex); //申请加入临界区（网络售票系统）
        entering the system and refunding one ticket;
        signal(mutex);        //退出临界区
        signal(ticket_count); //成功退订一张票
    }
}
